<html>
<head><meta charset="utf-8"><title>meeting 2019.07.08 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E07.2E08.html">meeting 2019.07.08</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="169876873"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.07.08/near/169876873" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E07.2E08.html#169876873">(Jul 08 2019 at 15:00)</a>:</h4>
<p>Hey <span class="user-group-mention" data-user-group-id="692">@WG-traits</span> -- I can't make the meeting today -- or, rather, <em>maybe</em> I can, I have an urgent personal errand to do and I'm not sure how long it's going to take. My main update is that I plan to do some reviews of various PRs, and get back to <span class="user-mention" data-user-id="124069">@Alexander Regueiro</span> regarding the trait upcasting PR. <span class="user-mention" data-user-id="117350">@Sunjay Varma</span> and I had a good conversation about specialization, as well.</p>
<p>Actually, next week I'm going to be on vacation until mid-August, so I'm inclined to say that "WG-Traits" should go "on hiatus" until the fall (i.e., no standing meeting). I do plan to be doing some experiments and thinking because if we're going to start back up again I want to come back with a more complete plan this time.</p>
<p>(In any case, even if there are no standing meetings I'd like to make some progress on smaller things.)</p>
<p>Thoughts?</p>



<a name="169876935"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.07.08/near/169876935" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E07.2E08.html#169876935">(Jul 08 2019 at 15:01)</a>:</h4>
<p>Sounds good! Enjoy your vacation! You deserve a break <span aria-label="smile" class="emoji emoji-263a" role="img" title="smile">:smile:</span></p>



<a name="169876953"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.07.08/near/169876953" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E07.2E08.html#169876953">(Jul 08 2019 at 15:01)</a>:</h4>
<p>Makes sense; enjoy the vaction <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="169883773"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.07.08/near/169883773" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E07.2E08.html#169883773">(Jul 08 2019 at 16:30)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> Sounds good to me, thanks. I won't be able to make it anyway (as usual), but I look forward to the review and maybe more thoughts on the trait upcasting PR.</p>



<a name="169894195"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.07.08/near/169894195" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E07.2E08.html#169894195">(Jul 08 2019 at 18:43)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> Just a reminder that  I still need some guidance for implementing  the check for <code>impl Trait</code> and  <code>dyn Trait</code> on the chalk solver</p>



<a name="170409985"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.07.08/near/170409985" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E07.2E08.html#170409985">(Jul 08 2019 at 23:12)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> Also, maybe you can work impl-trait-in-bindings into your ponderings? I kind of feel it makes most sense to leave this to you in your own time to implement, since there would be a lot of wasted effort bringing me up to speed on everything and collating your notes, probably.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>